Calculus of Constructions

https://gyazo.com/b0644649a2def84d55263459086cdc38